Researcher in theoretical computer science, specifically in the area verification of graph-based specifications. Website provides academic papers and personal information.

Professor of Computer Science and member of the Theory Group at Caltech.

Faculty at EECS Department, MIT and member of Theory of Computing group in CSAIL.

Researcher in theoretical computer science. Home site with academic resources (academic papers and talks), opinions, and personal information.

Professor and Director of Graduate Studies, Computer Science Department, Stanford University.

Professor in CS Dept, UCB.

Andrew and Erna Viterbi Professor of Electrical Engineering and Computer Science in MIT's EECS Dept and member of Theory of Computation Group at CSAIL.

Professor in Department of Mathematics at Purdue University.

Post-doctoral fellow at Oxford University Computing Laboratory. Research in models of quantum computation, high level methods for quantum computing and state transfer.

Professor of Applied Mathematics at MIT and member of the Theory of Computation group at CSAIL.